﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Diagnostics;
using System.Diagnostics.Contracts;

namespace 第19章检测
{
    class Program
    {
        static void Main(string[] args)
        {
            MinMax(6, 100);

        }
        static void MinMax(int min,int max)
        {
            Contract.Requires<Exception>(min < max);

        }
    }
}
